Library of American University of Madaba Catalog › Results of Search for 'su:Mathematical Logic and Foundations. and su-to:Management of Computing and Information Systems.'

Your search returned 4 results.

Unhighlight Highlight
	Tools for Practical Software Verification by Meyer, Bertrand. Publication: . VIII, 183 p. 31 illus. Availability: Copies available: AUM Main Library (1), Actions: Add to Cart
	Formal Methods: Foundations and Applications by Gheyi, Rohit. Publication: . X, 227 p. 67 illus. Availability: Copies available: AUM Main Library (1), Actions: Add to Cart
	Formal Methods, Foundations and Applications by Simao, Adenilso. Publication: . X, 205 p. Availability: Copies available: AUM Main Library (1), Actions: Add to Cart
	Formal Methods: Foundations and Applications by Davies, Jim. Publication: . VIII, 291 p. Availability: Copies available: AUM Main Library (1), Actions: Add to Cart

Library of American University of Madaba